логическая аксиома

См. также в других словарях:

• ЛОГИЧЕСКАЯ АКСИОМА — формула логико математич. языка, принимаемая в качестве аксиомы при построении формальной теории, истинная в любой структуре для данного языка в силу смысла логич. символов. Л. а. выбираются таким образом, чтобы множество логических следствий из… …   Математическая энциклопедия

• Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… …   Википедия

• Тождество —         основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем.          В математике Т. это Уравнение, которое удовлетворяется тождественно, то есть… …   Большая советская энциклопедия

• Онтологический аргумент — Онтологический аргумент  это одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в Христианской Теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично… …   Википедия

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• ВЕРОЯТНОСТЬ — общенаучная и филос. категория, обозначающая количественную степень возможности появления массовых случайных событий при фиксированных условиях наблюдения, характеризующую устойчивость их относительных частот. В логике семантическая степень… …   Философская энциклопедия

• ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия

• логика —         ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …   Энциклопедия эпистемологии и философии науки

• БЕСКОНЕЧНОЕ —         филос. категория, характеризующая неисчерпаемость материи и движения, многообразие явлений и предметов материального мира, форм и тенденций его развития. Признавая объективное существование Б. в природе, диалектич. материализм отвергает… …   Философская энциклопедия

• Аксиоматический метод —         способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …   Большая советская энциклопедия

• ИНДЕТЕРМИНИЗМ — см.: ДЕТЕРМИНИЗМ И ИНДЕТЕРМИНИЗМ. Философия: Энциклопедический словарь. М.: Гардарики. Под редакцией А.А. Ивина. 2004. ИНДЕТЕРМИНИЗМ …   Философская энциклопедия